﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace Nachos.UserPrograms
{
    class UserKernel : ThreadedKernel
    {
        public Machine Machine { get; set; }
        public FileSystem FileSystem { get; set; }

        public UserKernel(int argc, string[] argv)
            : base (argc, argv)
        {
        
        }

        public void Initialize()
        {
            base.Initialize();
            machine = new Machine(debugUserProg);
            fileSystem = new FileSystem();
        }

        public void Run() 
        { 
            AddressSpace halt = new AddressSpace();

            halt.Execute("../test/halt");

            ThreadedKernel.Run();
        }


    }
}
